algorithmic program中文什么意思
[网络] 算法程序
- algorithmic language program: 算法语言程序
- algorithmic language program conversion: 算法语言程序翻译; 算法语言程序转换
- algorithmic: 算法的; 演算的
例句与用法
- developing correct and efficient algorithmic programs has become a key topic in the computer science community
为了更好地解决这两个至关重要的问题,par方法应运而生。 - formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method
有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。 - herein, we proposed that the software reuse technique based on algorithmic framework is to formal deduce from algorithmic program and get its abstract algorithm by using the par method proposed by professor xue jingyun
本文提出的基于算法框架的软件设计及分析复用技术是利用薛锦云教授提出的par方法,对算法程序进行形式化推导,得到其抽象算法。 - par is a practical environment for formal development of algorithmic programs, which is proposed by professor xue . it is based on the research of the projects supported by the national natural science foundation of china
薛锦云教授在国家863和多项国家自然科学基金的资助下,根据多年从事算法程序设计理论研究的成果,提出了一种实用的开发和证明算法的方法??par。
相关词汇
- algorithmic macrodesign system 什么意思
- algorithmic measure of reliability 什么意思
- algorithmic models 什么意思
- algorithmic pattern-genera-tion testing 什么意思
- algorithmic processor description 什么意思
- algorithmic programs 什么意思
- algorithmic randomness 什么意思
- algorithmic rules 什么意思
- algorithmic simulation 什么意思
- algorithmic statemachine 什么意思